Overview

In this job, you need to verify if a pizza menu item is correctly represented by a graphical model represented in the VOWL formalism.

Steps

1. Examine the pizza menu item
2. Examine the model
3. Decide whether the model correctly represents the menu item
4. If the model is invalid, select what defect it includes

Overview

In this job, you need to verify if a pizza menu item is correctly represented by a graphical model represented in the VOWL formalism.

Steps

1. Examine the pizza menu item
2. Examine the model
3. Decide whether the model correctly represents the menu item
4. If the model is invalid, select what defect it includes

Rules & Tips

Rules :

• Existential restrictions indicate that there must be a property of the specified type. Other types are not restricted.
  Representation in a graphical model:
  
  • Every instance of PetLoverTypeB has a Cat pet and may also have other pets.
  
  
• Universal restrictions indicate that all property values for the specified property must be of a certain type. All values must be of the type but a property value does not have to exist.
  Representation in a graphical model:
  
  • If instances of PetLoverTypeA have pets, the pets are always dogs. Instances of PetLoverTypeA, however, may not have any pets.

Tips:

• The universal restriction does not imply the existential restriction.
• If some information is not included in the model, the missing information is not false unless it contradicts the model.